Universal logic - PDFSEARCH.IO - Document Search Engine

Universal logic
Results: 479

#	Item
211	Structure, Dependence and Categories L. A. Paul UNC-Chapel Hill My central thesis: Ontological structure depends on the ontological categories. There is only Add to Reading List Source URL: www.bris.ac.uk Language: English - Date: 2011-04-08 07:09:14 Ontology Topology Mereology Predicate logic Substance theory Coproduct Causality Economic model Universal quantification Mathematical logic Logic Mathematics
212	Language as Calculus vs. Language as Universal Medium Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2013-12-29 03:31:36 Philosophers of mathematics Gottfried Leibniz Philosophy of language Philosophical logic Analytic philosophers Calculus ratiocinator Characteristica universalis Begriffsschrift Gottlob Frege Logic Philosophy Mathematics
213	Microsoft Word - Innentitelei.doc Add to Reading List Source URL: www.metaphysica.de Language: English - Date: 2006-02-07 06:47:16 Logic Truthmaker Supervenience Physicalism David Malet Armstrong Modal logic Universal Problem of universals Reality Philosophy Metaphysics Ontology
214	A COMPUTATIONAL LEARNING SEMANTICS FOR INDUCTIVE EMPIRICAL KNOWLEDGE KEVIN T. KELLY Abstract. This paper presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a lear Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-02-22 15:09:02 Model theory Deduction Interpretation Philosophy of mind Entailment Modal logic Substitution Universal property Linear temporal logic Logic Propositional calculus Philosophical logic
215	COMPUTER SCIENCE TRIPOS Part IA – 2014 – Paper 2 9 Discrete Mathematics (AMP) (a) The subset S of N = {0, 1, 2, . . .} is inductively defined by the following axiom and rules, where n ranges over N: Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:43 Mathematical proofs Inductive reasoning Mathematical induction Proof theory Constructible universe Universal quantification String Surreal number Peano axioms Mathematics Mathematical logic Logic
216	Constraints: A Uniform Approach to Aliasing and Typing Fred B. Schneider+ Cornell University Leslie Lamport * Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 13:13:38 Program logic Model theory Hoare logic Function Universal quantification Aliasing Interpretation Propositional calculus Independence Mathematical logic Mathematics Logic
217	Product Obsolete/Under Obsolescence APPLICATION NOTE  XAPP098 November 13, 1998 (Version 1.0) Add to Reading List Source URL: www.xilinx.com Language: English - Date: 2013-04-29 20:36:40 Reconfigurable computing Data transmission Field-programmable gate array Xilinx Joint Test Action Group Bitstream Conventional PCI Universal asynchronous receiver/transmitter Complex programmable logic device Electronic engineering Electronics Classes of computers
218	Formalizations Of Substitution Of Equals For Equals David Gries 1,2 and Fred B. Schneider 1 1 Computer Science, Univ. of Georgia Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 13:46:38 Propositional calculus Predicate logic Model theory Quantification First-order logic Function Constructible universe Generalization Universal quantification Logic Mathematical logic Mathematics
219	UNIVERSAL ALGEBRA Jaroslav Jeˇzek First edition, April 2008 Contents Add to Reading List Source URL: www.karlin.mff.cuni.cz Language: English - Date: 2011-06-16 11:15:48 Algebraic structures Lattice theory Boolean algebra Predicate logic Abstract algebra Universal algebra Distributive lattice Model theory Representation theory Mathematics Mathematical logic Logic
220	John Barnes Expressions This work is licensed under a Creative Commons AttributionNonCommercial-ShareAlike 3.0 Unported License. Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-11-27 11:41:30 Procedural programming languages Quantification Predicate logic Conditional ALGOL 68 Control flow Switch statement Universal quantification Regular expression Software engineering Computing Computer programming

UPDATE